
public class SternPE extends EnvTreeNode implements PEObject{

	public SternPE() {
		super("<PE:Stern>");
	}

	public String apply(String param1, String param2){
		if ( param1.substring(0,5).equals("<STR:") ){
			return "<STR:'"+param1.substring(7);
		}else{
			System.err.print("Stem: expected a String");
			System.exit(0);
		}
		return null;
	}
}
